Duality and Inferential Semantics

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Notes on Inferential Role Semantics

If semantics is the study of meanings, and the meaning of an expression e is understood as what speakers of the language must know use e competently, then a natural first guess is that the correct semantics of names will involve their referents. One might, initially, make the further supposition that the meaning of a name is just its referent. However, this sort of ‘Fido’-Fido view immediately ...

متن کامل

Inferential Role Semantics for Natural Language

The most general goal of semantic theory is to explain facts about language use. In keeping with this goal, I introduce a framework for thinking about linguistic expressions in terms of (a) the inferences they license, (b) the behavioral predictions that their uses thereby sustain, and (c) the affordances that they provide to language users in virtue of these inferential and predictive involvem...

متن کامل

Referential semantics: duality and applications

Received 4 March 2005 Authors were partially supported by Spanish grant DGESIC BFM2001-3329 and Catalan grant 2001SGR-00017. The second author was also supported by Catalan grant 2001FI 64 RAMON JANSANA, ALESSANDRA PALMIGIANO

متن کامل

Relational Semantics Through Duality

In this paper we show how the classical duality results extended to a Duality via Truth contribute to development of a relational semantics for various modal-like logics. In particular, we present a Duality via Truth for some classes of information algebras and frames. We also show that the full categorical formulation of classical duality extends to a full Duality via Truth.

متن کامل

A duality between LM-fuzzy possibility computations and their logical semantics

Let X be a dcpo and let L be a complete lattice. The family σL(X) of all Scott continuous mappings from X to L is a complete lattice under pointwise order, we call it the L-fuzzy Scott structure on X. Let E be a dcpo. A mapping g : σL(E) −> M is called an LM-fuzzy possibility valuation of E if it preserves arbitrary unions. Denote by πLM(E) the set of all LM-fuzzy possibility valuations of E. T...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Axiomathes

سال: 2015

ISSN: 1122-1151,1572-8390

DOI: 10.1007/s10516-014-9263-6